From a14a239243f180f0f78df793bf65277b9ef26c46 Mon Sep 17 00:00:00 2001 From: Anthony PERARD Date: Fri, 28 Oct 2011 17:15:32 +0100 Subject: [PATCH] hvmloader: In mk_dsdt, Use __attribute__ format. Use __attribute__((format(printf,..))) for the function _stmt to prevent any mistake. Signed-off-by: Anthony PERARD Committed-by: Keir Fraser --- tools/firmware/hvmloader/acpi/mk_dsdt.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tools/firmware/hvmloader/acpi/mk_dsdt.c b/tools/firmware/hvmloader/acpi/mk_dsdt.c index ea3be14302..0b52372a3e 100644 --- a/tools/firmware/hvmloader/acpi/mk_dsdt.c +++ b/tools/firmware/hvmloader/acpi/mk_dsdt.c @@ -15,7 +15,8 @@ static void indent(void) printf(" "); } -static void _stmt(const char *name, const char *fmt, ...) +static __attribute__((format(printf, 2, 3))) +void _stmt(const char *name, const char *fmt, ...) { va_list args; -- 2.30.2